public class Test {
  abstract class Base extends Int {
  }

  abstract class Int {
      public abstract String foo();
  }
}